Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
781	Automatic Control and Systems Engineering The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar: Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2014-04-11 06:09:18 Software verification Formal specification Sir Frederick Mappin Building Science Computer science Mathematics Formal methods Verification Formal verification
782	Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Science Intelligent agent Software agent Modal logic Agent-based model 3APL 2APL GOAL agent programming language Multi-agent systems Artificial intelligence Computing
783	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
784	GRIDBANK ENTERPRISE INFORMATION ARCHIVING DATASHEET B E NE FIT S Comprehensive Archiving Solution Add to Reading List Source URL: www.tarmin.com Language: English Data Data management Formal sciences Content management systems Database management systems Backup Information governance Big data Infrastructure optimization Technology Information Information technology management
785	Computer-Supported Cooperative Work, 8, [removed]), pp[removed]Formality Considered Harmful: Experiences, Emerging Themes, and Directions on the Use of Formal Representations in Interactive Systems Frank M. Shipman III Add to Reading List Source URL: www.csdl.tamu.edu Language: English - Date: 2000-01-14 17:38:28 Knowledge Information science Information systems Groupware Hypertext Frame language Human–computer interaction Design rationale Knowledge representation and reasoning Knowledge engineering Science Knowledge representation
786	GRIDBANK ENTERPRISE DATASHEET GridBank Data Management Platform Addressing Petabyte Scale Unstructured Data Challenges Add to Reading List Source URL: www.tarmin.com Language: English - Date: 2014-05-27 09:43:14 Data Information technology management Database management systems Emerging technologies Big data Data classification Analytics Infrastructure optimization Information governance Technology Data management Formal sciences
787	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
788	Introduction to Galaxy October 22, 2012 Are you a biological researcher who needs to do complex analysis on large datasets? Add to Reading List Source URL: www.purdue.edu Language: English Galaxy Formal sciences Data analysis Computer graphics Scientific modeling Bioinformatics Visual analytics Data visualization Bioinformatics workflow management systems Science Visualization Applied mathematics
789	Automatic Control and Systems Engineering The Department of Automatic Control & Systems Engineering is pleased to announce the following seminar: Add to Reading List Source URL: www.sheffield.ac.uk Language: English - Date: 2013-11-27 08:47:00 Applied mathematics Formal methods Mathematics Theoretical computer science Automated theorem proving Verification Stability System Control theory Formal sciences Cybernetics Science
790	RTF Document Add to Reading List Source URL: www.environment.gov.au Language: English - Date: 2015-02-08 13:11:51 Remote sensing Solid-state drive Earth Data analysis Formal sciences Geographic information systems Cartography Computer vision Geography

UPDATE